NoSuchModule.agda:3,6-7
No module X in scope
when scope checking the declaration
  open X
